#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll n;
int main(void){
    while(~scanf("%lld",&n)){
        int ans=0;
        while(n){
            ans+=n%10;
            n/=10;
        }
        if(ans==23){
            printf("YES\n");
        }else{
            printf("NO\n");
        }
    }
    return 0;
}